Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy () INRIA Paris-Rocquencourt Sandrine Blazy ()

Source URL: www.irisa.fr

Using Linear Codes as a Fault Countermeasure for Non-Linear Operations : Application to AES and Formal Verification work co-funded by the PRINCE project Sabine Azzi, Bruno Barras,

Source URL: www.proofs-workshop.org

Damien Zufferey Research Interests Programming Languages, Formal Methods, Program Analysis and Verification, and Distributed Systems. Education

Source URL: pub.ist.ac.at

Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow

Source URL: www.dagstuhl.de

• Theoretical computer science
• Mathematical logic
• Logic
• Logic in computer science
• Automated theorem proving
• Formal methods
• Model theory
• Satisfiability modulo theories
• Automated reasoning
• Presburger arithmetic
• First-order logic
• Formal verification

ARA SSIA FormaCryptTwo models for the verification of cryptographic protocols: computational model formal, “Dolev-Yao” model enc(M,k

Source URL: prosecco.gforge.inria.fr

JulyVerification Cases: Characterizing the Completeness Degree of Incomplete Verification Towards Using Formal Verification for Low Criticality Functions Daniel Ratiu (Siemens CT), Vincent Nimal (Univ. Oxford)

Source URL: fm.csl.sri.com

A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C? Allan Blanchard1,3 , Nikolai Kosmatov1 , Matthieu Lemerre1 , and Fr´ed´eric Loulergue2,3 1

Source URL: www.stance-project.eu

Paving the way for electoral reform Ben Smyth and Mark Ryan Formal Verification and Security Group, School of Computer Science, University of Birmingham May 19, 2010

Source URL: bensmyth.com

A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien

Source URL: icst2015.ist.tu-graz.ac.at

• Formal methods
• Logic in computer science
• Software engineering
• Helmut Veith
• Computer science
• Computer programming
• Debugging
• Veith
• Formal verification
• Turing Award
• Assertion
• Model checking

Call for Contributions Software Quality Journal Special Issue on: "Software Quality in Software-Intensive Systems" Guest Editors:

Source URL: paginas.fe.up.pt

• Software engineering
• Computing
• Software quality
• Quality
• Software testing
• Formal methods
• Pharmaceutical industry
• Validity
• Software verification and validation
• Verification and validation
• Software development
• Quality assurance